more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10597

[filed under theme 5. Theory of Logic / K. Features of Logics / 4. Completeness ]

Full Idea

There is an annoying double-use of 'complete': a logic may be semantically complete, but there may be an incomplete theory expressed in it.

Gist of Idea

'Complete' applies both to whole logics, and to theories within them

Source

Peter Smith (Intro to Gödel's Theorems [2007], 03.4)

Book Ref

Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.25